Ilaria Castellani : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (31)
Les plus populaires
Liste
- Liste
- Tableau

1

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2015

2

Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)

Castellani, Ilaria, Reza Mousavi, Mohammad

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2017

Langue:

english

Fichier:

PDF, 132 KB

english, 2017

3

Brain functional connectivity in sleep-related hypermotor epilepsy

Evangelisti, Stefania, Testa, Claudia, Ferri, Lorenzo, Gramegna, Laura Ludovica, Manners, David Neil, Rizzo, Giovanni, Remondini, Daniel, Castellani, Gastone, Naldi, Ilaria, Bisulli, Francesca, Tonon,

Journal:

NeuroImage: Clinical

Année:

2018

Langue:

english

Fichier:

PDF, 858 KB

english, 2018

4

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)

Castellani, Ilaria, Mousavi, Mohammad Reza

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2019

Langue:

english

Fichier:

PDF, 143 KB

english, 2019

5

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)

Castellani, Ilaria, Mousavi, Mohammad Reza

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2019

Fichier:

PDF, 143 KB

2019

6

Bisimulations and abstraction homomorphisms

Ilaria Castellani

Journal:

Journal of Computer and System Sciences

Année:

1987

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1987

7

An algebraic characterization of observational equivalence

André Arnold, Ilaria Castellani

Journal:

Theoretical Computer Science

Année:

1996

Langue:

english

Fichier:

PDF, 757 KB

english, 1996

8

Reactive Concurrent Programming Revisited

Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 261 KB

english, 2006

9

Preface: Volume 16, Issue 2

Ilaria Castellani, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 236 KB

english, 2005

10

State-oriented Noninterference for CCS

Ilaria Castellani

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 435 KB

english, 2007

11

Noninterference for concurrent programs and thread systems

Gérard Boudol, Ilaria Castellani

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 198 KB

english, 2002

12

Parallel product of event structures

Ilaria Castellani, Zhang Guo-Qiang

Journal:

Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 877 KB

english, 1997

13

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 2.20 MB

english, 1998

14

Preface: Volume 27

Ilaria Castellani, Björn Victor

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1999

Langue:

english

Fichier:

PDF, 37 KB

english, 1999

15

Preface: Volume 16, Issue 2

Ilaria Castellani, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 43 KB

english, 1998

16

Typing noninterference for reactive programs

Ana Almeida Matos, Gérard Boudol, Ilaria Castellani

Journal:

The Journal of Logic and Algebraic Programming

Année:

2007

Langue:

english

Fichier:

PDF, 794 KB

english, 2007

17

The impact of outward investments on parent company's employment and skill composition: Evidence from the Italian case

Davide Castellani, Ilaria Mariotti, Lucia Piscitello

Journal:

Structural Change and Economic Dynamics

Année:

2008

Langue:

english

Fichier:

PDF, 502 KB

english, 2008

18

The cerebral adaptation to head up tilt (HUT) stimulation is not impaired in the elderly with isolated systolic hypertension

Sergio Castellani, Nadia Boni, Ilaria Carobbi, Gian Franco Gensini, Giulio Masotti

Journal:

American Journal of Hypertension

Année:

2001

Langue:

english

Fichier:

PDF, 38 KB

english, 2001

19

The cerebral pressure autoregulation is impaired in the elderly with isolated systolic hypertension

Sergio Castellani, Nadia Boni, Ilaria Carobbi, Gian Franco Gensini, Giulio Masotti

Journal:

American Journal of Hypertension

Année:

2001

Langue:

english

Fichier:

PDF, 38 KB

english, 2001

20

Detecting the presence of bacterial DNA by PCR can be useful in diagnosing culture-negative cases of infection, especially in patients with suspected infection and antibiotic therapy

Lleo, Maria M., Ghidini, Valentina, Tafi, Maria Carla, Castellani, Francesco, Trento, Ilaria, Boaretti, Marzia

Journal:

FEMS Microbiology Letters

Année:

2014

Langue:

english

Fichier:

PDF, 184 KB

english, 2014

21

Typing access control and secure information flow in sessions

Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

Journal:

Information and Computation

Année:

2014

Langue:

english

Fichier:

PDF, 888 KB

english, 2014

22

OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES

CASTELLANI, ILARIA

Journal:

International Journal of Foundations of Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 1.76 MB

english, 1995

23

Public awareness on cystic fibrosis: results from a national pragmatic survey

Braido, Fulvio, Baiardini, Ilaria, Sumberesi, Massimo, Canonica, Giorgio Walter, Blasi, Francesco, Castellani, Carlo

Journal:

European Respiratory Journal

Année:

2015

Langue:

english

Fichier:

PDF, 306 KB

english, 2015

24

Distributed bisimulations

Castellani, Ilaria, Hennessy, Matthew

Journal:

Journal of the ACM

Année:

1989

Langue:

english

Fichier:

PDF, 1.73 MB

english, 1989

25

Self-adaptation and secure information flow in multiparty communications

Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Pérez, Jorge A.

Journal:

Formal Aspects of Computing

Année:

2016

Langue:

english

Fichier:

PDF, 1.43 MB

english, 2016

26

Information flow safety in multiparty sessions

CAPECCHI, SARA, CASTELLANI, ILARIA, DEZANI-CIANCAGLINI, MARIANGIOLA

Journal:

Mathematical Structures in Computer Science

Année:

2016

Langue:

english

Fichier:

PDF, 397 KB

english, 2016

27

Early diagnosis from newborn screening maximises survival in severe cystic fibrosis

Tridello, Gloria, Castellani, Carlo, Meneghelli, Ilaria, Tamanini, Anna, Assael, Baroukh M.

Journal:

ERJ Open Research

Année:

2018

Langue:

english

Fichier:

PDF, 366 KB

english, 2018

28

Prevalence, Awareness, Treatment, and Control of Hypertension among Chinese First-Generation Migrants and Italians in Prato, Italy: The CHIP Study

Modesti, Pietro A., Calabrese, Maria, Marzotti, Ilaria, Bing, Hushao, Malandrino, Danilo, Boddi, Maria, Castellani, Sergio, Zhao, Dong

Journal:

International Journal of Hypertension

Année:

2017

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2017

29

Peripheral localization of the epithelial sodium channel (ENaC) in the apical membrane of bronchial epithelial cells

Musante, Ilaria, Scudieri, Paolo, Venturini, Arianna, Guidone, Daniela, Caci, Emanuela, Castellani, Stefano, Conese, Massimo, Galietta, Luis J.V.

Journal:

Experimental Physiology

Année:

2019

Langue:

english

Fichier:

PDF, 1.89 MB

english, 2019

30

Global types with internal delegation

Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross

Journal:

Theoretical Computer Science

Année:

2019

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2019

31

Characterization of the immune microenvironment in malignant pleural mesothelioma reveals prognostic subgroups of patients

Fusco, Nicola, Vaira, Valentina, Righi, Ilaria, Sajjadi, Elham, Venetis, Konstantinos, Lopez, Gianluca, Cattaneo, Margherita, Castellani, Massimo, Rosso, Lorenzo, Nosotti, Mario, Clerici, Mario, Ferre

Journal:

Année:

2020

Fichier:

PDF, 6.16 MB

2020